safety-critical system
Redundancy (engineering) – Duplication of critical components to increase reliability of a system Nuclear reactor – Device used to initiate and control a nuclear chain reaction SAPHIRE – Systems Analysis Programs for Hands-on Integrated Reliability Evaluations (risk analysis software) Formal methods – Mathematical program specification intended to allow correctness proofs, including algorithmically Therac-25 – Radiotherapy machine involved in six accidents